Section: Dissemination

Teaching - Supervision - Juries

• Licence:

  • Jérôme Feret, and Cezara Drăgoi, Mathematics, 40h, L1, FDV Bachelor program (Frontiers in Life Sciences (FdV)), Université Paris-Descartes, France.

  • Antoine Miné and Xavier Rival, Semantics and applications to verification, 48h ETD, L3, École Normale Supérieure, Paris, France.

  • Xavier Rival, Introduction to static analysis, 8h, L3, École des Mines de Paris, Paris, France.

  • Xavier Rival, Introduction to algorithmics, 40h ETD, L3, École Polytechnique, Palaiseau, France.

• Master:

  • Vindent Danos and Jérôme Feret (with Jean Krivine), Computational Biology, 24h, M1. Interdisciplinary Approaches to Life Science (AIV), Master Program, Université Paris-Descartes, France.

  • Cezara Drăgoi, Jérôme Feret, Antoine Miné, and Xavier Rival, Abstract Interpretation: application to verification and static analysis, 72h ETD, M2. Parisian Master of Research in Computer Science (MPRI). École normale supérieure. France.

  • Xavier Rival, Introduction to abstract interpretation, 8h, M1-M2, KAIST, Daejeon, Korea.

  • Xavier Rival, Experimental Course on “Program Verification”, 20h ETD, M1, École Polytechnique, Palaiseau, France.

  • Xavier Rival, Protocol safety and verification 20h ETD, M2 program in Avanced Communications and Network (École Polytechnique and Telecom Paris), France.

  • Jérôme Feret has been invited to give a session (2h) in the Master M2IF (ÉNS Lyon) in the context of Russ Harmer's course on Rule-based modelling.

• PhD:

  • Arlen Cox, Parametric heap abstraction for dynamic languages libraries, École Normale Supérieure, 13th of April 2015, supervised jointly by Bor-Yuh Evan Chang (University of Colorado), Xavier Rival (Inria / École Normale Supérieure) and Sriram Sankaranarayana (University of Colorado).

  • Caterina Urban, Static analysis by abstract interpretation of functional temporal properties of programs, École Normale Supérieure, 29th of July 2015, supervised by Antoine Miné (CNRS / École Normale Supérieure) and Radhia Cousot (CNRS / École Normale Supérieure).

  • Tie Cheng, Static analysis of spreadsheet applications, École Normale Supérieure, 23rd of September 2015, supervised by Xavier Rival (Inria / École Normale Supérieure).

• PhD in progress:

  • Mehdi Bouaziz, Static analysis of security properties by abstract interpretation. November 2011, Patrick Cousot and Jérôme Feret, École Normale Supérieure.

  • Ferdinanda Camporesi, Abstraction of Quantitative Semantics of Rule-based models, January 2009, Radhia Cousot and Jérôme Feret (co-directed thesis with Maurizio Gabrielli, University of Bologna).

  • Hugo Illous, Verification of memory properties by abstract interpretation, October 2015, Xavier Rival (co-directed thesis with Mathieu Lemerre, CEA Saclay).

  • Huisong Li, Static Analysis of Data-Structures with Sharing, November 2014, Xavier Rival, École Normale Supérieure

  • Jiangchao Liu, Verification of the memory safety of a micro-kernel, December 2013, Xavier Rival, École Normale Supérieure

  • Antoine Toubhans, Combination of shape abstract domains, October 2011, Xavier Rival, École Doctorale de Paris Centre

  • Thibault Suzanne, Thread-modular static analysis of concurrent programs in the presence of weak memory models, October 2014, Antoine Miné, École Normale Supérieure.

  • Guillaume Terradot, “Modeles de croissance bacterienne/determinants de la taille", started in 2015, Vincent Danos, École Normale Supérieure.

  • William Waites, “Strategie evolutionnaire dans des tissus avec interactions mecaniques" started in 2015, Vincent Danos, École Normale Supérieure.

  • Andreea Beica, “Approximations max-paralleles de modeles stochastiques", started in 2015, Vincent Danos, École Normale Supérieure.

• Internships:

  • Eleonore Bellot did an internship at ENS with Vincent Danos on “Modeles energetiques de la cellule".

  • Xavier Zaoui did an internship at ENS with Vincent Danos on “Croissance bacterienne et interferences entre antibiotiques".

  • Danae David did an internship at ENS with Vincent Danos on "Representation des connaissances en biochimie des voies de signalisation".

  • Ihab Boulas did an internship at ENS with Vincent Danos on “Modeles de transmission de plasmides "editeurs".